Java Layers Compiler Design

This document contains a brief overview of the JL compiler’s design (version 2) [4]. The compiler supports bounded parametric classes and interfaces, mixins, static virtual typing, deep conformance, constructor propagation, and the class flattening optimization. The intent of this document is to provide a basis for an implementation plan, so we provide the detail needed to gauge the development effort and feasibility of our design. The Java Layers home page [5] contains specifications that describe and justify our choice of language features in greater detail. We now describe our high-level design, the rationale used in making design choices, and major implementation tasks required to realize our design.